int32 data4 # 42